es{-}r{-}immediate{-}pred(${\it es}$; $R$; ${\it e'}$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$rel{-}immediate(es{-}E(${\it es}$); $R$)(${\it e'}$,$e$)